Process Control Software Specification in PCSL
نویسندگان
چکیده
منابع مشابه
Requirements Specification in Distributed Software Development – A Process Proposal
Distributed software development presents several characteristics that differentiate from co-located software development. Currently, one of the main difficulties imposed by geographically distributed software teams is the requirements engineering process. Traditional approaches to requirements process don’t cover the fundamental difficulties of dispersion, like communication and coordination. ...
متن کاملSpecification of Coordinated Behaviour in the Software Development Process
A rapidly growing number of papers addresses the topic of software process modeling (see e.g. [5], [1]). Due to the fact that this topic is still a very young discipline within software engineering, many of these papers pay much attention to defining the requirements to software process modelling as well as to describing and discussing the basic concepts and notions in this field. Examples of t...
متن کاملRequirements Specification for Process-Control Systems
This paper describes an approach to writing requirements specifications for process-control systems, a specification language that supports this approach, and an example application of the approach and the language on an industrial aircraft collision avoidance system (TCAS 11). The example specification demonstrates 1) the practicality of writing a formal requirements specification for a comple...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 1980
ISSN: 1474-6670
DOI: 10.1016/s1474-6670(17)65167-x